gtkwidget: Add a warning about set_double_buffered

As requested on the mailing list.

diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index 9657f3aa0e140d3bb11a8eb7376cc3689c8efe69..7e56ecb493a1274f1a0d0200662af1b3c08b6fa1 100644 (file)
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -9213,6 +9213,8 @@ gtk_widget_set_double_buffered (GtkWidget *widget,
                                gboolean   double_buffered)
 {
   g_return_if_fail (GTK_IS_WIDGET (widget));
+
+  g_warning ("gtk_widget_set_double_buffered is deprecated and does nothing.");
 }
 
 /**